1. A code mapping scheme for dataflow software pipelining
Author: / G.R. Gao
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer architecture,Parallel processing (Electronic Computers),Software computing
Classification :
QA76
.
9
.
A73G36
1991
2. Languages and compilers for parallel computing
Author: \ Xipeng Shen , Frank Mueller, James Tuck (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Parallel programming (Computer science) -- Congresses.,Parallel processing (Electronic computers) -- Congresses,Computer software -- Congresses.,برنامهنویسی موازی -- کنگره ها ,پردازش موازی -- کنگره ها ,نرمافزار -- کنگره ها
Classification :
QA
76
.
642
.
L32
2016
E-Book
,
3. Languages, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR'98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers
Author: David O'Hallaron )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(,Congresses ، Software engineering,Congresses ، Computer architecture
Classification :
QA
76
.
L28
Vol
.
1511
4. Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
Author: Godefroid, Patrice
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Computer software -- Verification
Classification :
QA
76
.
L28
Vol
.
1032
5. Proceedings of the 1994 international conference on parallel processing August 15-19, 1994
Author: K.C. Tai
Library: Library of Institute of Geophysics University of Tehran (Tehran)
Subject: Parallel processing)electronic computers(,Computer architecture,Computer software - Geotools,Electronic data processing,Computer networks
Classification :
QA
76
.
6
.
I5
1994
6. Proceedings, 23rd Euromicro Conference: new frontiers of information technology: short contributions: Budapest, Hungary, September 1-4, 1997
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer architecture,Congresses ، Multimedia systems,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
758
.
S98
1997
7. Second International Workshop on Software Engineering for Parallel and Distributed Systems: May 17-18, 1997, Boston, MA, USA
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Computer software-- Development
Classification :
QA
76
.
58
.
I5768
1997
8. Software engineering, artificial intelligence, networking and parallel/distributed computing 2011
Author: Roger Lee (Ed.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Software engineering,Artificial intelligence,Parallel processing (Electronic computers),Computer networks, Congresses,Electronic data processing, Distributed processing, Congresses
Classification :
QA
،
76
.
758
،.
S6457
،
2011
9. Software for Parallel Computers
Author: / Edited by R. H. Perrott
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Parallel Processing (Electronic computers) -- Congresses,Computer Software -- Congresses
Classification :
QA
76
.
58
.
S629
1992
10. Software for parallel computers
Author: Edited by R. H. Perrott
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Parallel processing (electronic computers),Computer software
Classification :
QA
,
76
.
58
,.
S629
,
1992
11. Software pipelines and SOA :
Author: Cory Isaacson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development,Parallel processing (Electronic computers),Web services
Classification :
QA76
.
58
.
I82
2009
12. Temporal verification of reactive systems: safety
Author: Manna, Zohar
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Verification,، Parallel processing )Electronic computers(
Classification :
QA
76
.
76
.
V47
.
M36
1995
